document.write(' 5707 ');