document.write (" 12942 ");