document.write(' 7012 ');