document.write (" 3042 ");