document.write(' 10512 ');