document.write('\"0004\"');