document.write("
5242
");