document.write('8040 ');