document.write (" 12340 ");