SELECT x"1234";