document.write (" 11946 ");