document.write (" 11962 ");