document.write (" 7934 ");