document.write(' 12944 ');