/* Zet domain voor cross frame scripting */
document.domain =  document.domain.substr( 1+document.domain.lastIndexOf('.', document.domain.lastIndexOf('.')-1 ))

/* txtbutton hover effect */
function txtbutton(obj,state) {
	obj.parentNode.style.backgroundImage = "url(/img_html/onvz/txtbutton_r"+state+".gif)"
	obj.parentNode.parentNode.style.backgroundImage = "url(/img_html/onvz/txtbutton_l"+state+".gif)"
}