document.write (" 7042 ");