document.write('12067 ');