document.write('15712'); document.write("<\/sc"+"ript>");