document.write (" 77712 ");