document.write (" 5942 ");