document.write (" 12944 ");