document.write(' 5102 ');