document.write (" 12245 ");