document.write('5612 ');