document.write(' 5012 ');