document.write (" 6242 ");