char sea[]=
{   0x8084,
    0x4210,
    0x0dac,
    0x4062,
    0x9c08,
    0x2271,
    0x0104,
    0x100a,
    0xa071,
    0x4200,
    0x0500,
    0x088c,
    0x9032,
    0x4201,
    0x0d36,
    0x0049
};
#define sea_size 4l
