CAST AND CHECK in SQL

[spidermassi]

ciao,
ho creato un domain per numeri di acconto che vanno da 0001 a 9999 tramite l'istruzione qua sotto.
CREATE DOMAIN codice_prodotto AS CHAR(4)

vorrei fare un controllo che i valori siano immessi siano tra 1 e 9999 e ho provato il comando qua sotto.
CHECK (CAST(@value AS SMALLINT) BETWEEN 1 AND 9999);

il problema che ho è che se inserisco il valore 1 nella tabella mi compare come '1' e non come '0001'
qualcuno sa darmi una dritta su come posso fare?
grazie

[spidermassi]

senza usare ZEROFILL