document.write (" 3136 ");