document.write (" 7242 ");