document.write (" 12145 ");