document.write (" 12144 ");