document.write('5923 ');