document.write (" 41242 ");