document.write (" 12342 ");