document.write (" 5242 ");