/*
 * $RCSfile: global.js,v $
 * $Revision: 1.1 $
 * $Date: 2004/08/30 04:11:33 $
 *
 * Copyright (C) 1999-2004 Jive Software. All rights reserved.
 *
 * This software is the proprietary information of Jive Software. Use is subject to license terms.
 */

/*
 * Returns a page element by its id in a non browser specific way.
 */
function getEl(id) {
    if (document.layers) { return document.layers[id]; }
    else if (document.all) { return document.all[id]; }
    else if (document.getElementById) { return document.getElementById(id); }
}

//add by bkf5207 start 2004/12/11
function checkNum(str){
	//alert(str.match(/^\d+$/) == null);
	return str.match(/^\d+$/) == null;
}   
//add by bkf5207 end 2004/12/11