document.write (" 12242 ");