document.write (" 12034 ");