document.write (" 5042 ");