document.write(' 5107 ');