$value="12\012";
print $value;