How to Change 0x1234 to 0x12

Program:
void main( )
{
int a = 0x1234;

clrscr( );
printf( "Value is:%x", a>>8 );
getch( );

}

Answer:
Value is:12