document.write (" 11673 ");