document.write('6042 ');