function getDocumentId() 
{
	var tmpurl=document.location.href;
	var re = new RegExp("docId=([0-9]*).*","ig");
	var arr = re.exec(tmpurl);
	return RegExp.$1;
}