document.write('1 3 8 8 ');