document.write (" 11944 ");